COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00007 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CJuly 28, 1975



Dr. Steven Zilles
IBM Dept K-51, Bldg 282
Monterey & Cottle Rd.
San Jose, Cal  95193

Dear Dr. Zilles:

\J
I wrote your several months ago concerning my interest in your thesis
and mentioned then the possibility that I might be interested in a position
at IBM. I am currently finishing revision on my book on data structures and
am definitely looking for a new position. If you know of openings
in my fields of interest I would be most interested in hearing about them;
otherwise perhaps you could direct me or this letter to other sources at
IBM.
I am enclosing a reasonably complete biography, the salient
features of which are expertise in at least the following areas:

Language design and translator  writing: This is based on  many years
experience  as   a  programmer,  several  years  teaching  translator
writing, language implementation,  and research  in specification  of
languages and data  structures, and finally the writing of  a book on
LISP,  language design,  and implementation  (to be published  in the
McGraw-Hill series on computer science). 

Systems   programming:  Many   years   experience  in   the   design,
implementation, and maintenance of operating systems and time-sharing
systems. 

Display-based and interactive  programming: Based  on the design  and
use  of  sophisticated display-based  time  sharing  systems, and  on
recent   research  into  interactive  programming   as  a  means  for
controlling   complexity   and   maintaining   correctness   in   the
construction on complex programs. 

Theory - mathematical semantics, theorem proving, verification, 
and automatic programming: This incorporates several years research in the
practical as well as theoretical aspects of theorem proving as a technique
to attack problems in computer science as well as mathematics. Recent work in
attempting to understand how to construct correct programs has involved
study of contemporary verification techniques as well as study of mathematical
models for  programming languages.

Computer science education and CAI: One of the reasons for careful study of
programming languages and methodology is to improve on the way people
approach the problems of writing programs. My book reflects many of
my thoughts on how to design correct and understandable programs. What is
also needed are the computer-based tools to reinforce good pedagogy.

If I can supply further information please contact me.
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



John R. Allen
Research Associate
Computer Science Dept
Artificial Intelligence Lab

\←S\→L